#ifndef INTERSECT_BINDING_H
#define INTERSECT_BINDING_H

#include "ibindingalgorithm.h"

namespace wfnet
{
class Multiset;

class IntersectBinding : public IBindingAlgorithm
{
public:
    IntersectBinding();
    ~IntersectBinding();

    bool bind(Binding& binding,
        const core::BasicTime& globalClock,
        core::BasicTime& proposedGlobalClock,
        const QSet<const Arc* >& inputArcs,
        const Transition* transition = 0) const;
};

} // namespace wfnet

#endif
